{ x = True } ∧ { y = True }
